correct-by-design methodology
通過設計校正的方法學
熱門查詢
- trimmed adj. 平衡的；切邊；縱傾的；修整過的
- stimulating v. 刺激；激勵；促進（stimulate的ing形式） adj. 刺激的；有刺激性的
- keyhole n. 鎖眼；[建] 鍵孔 adj. 顯示內情的
- tetracycline n. [藥] 四環素（抗生素的一種）
- scar n. 創傷；傷痕 vt. 傷害；給留下傷痕 vi. 結疤；痊愈
- waterfront n. 灘，海濱；水邊 adj. 濱水區的
- microbrew 微釀啤酒 小廠啤酒
- skylark n. 云雀；發瘋般的胡鬧 vi. 開玩笑，胡鬧
- Rosenbaum [人名] 羅森鮑姆
- boll n. [植] 圓莢；博耳（容量單位） n. (Boll)人名；(阿拉伯)布勒；(英、法、德、芬、瑞典)博爾
- reno n. 里諾（美國一城市名，著名的“離婚城市”）
- magnifier n. [光] 放大鏡；[電子] 放大器
- magnetite n. [礦物] 磁鐵礦
- Venusian adj. 金星的，太白星的
- Bishops n. （基督教某些教派管轄大教區的）主教( bishop的名詞復數 ); （國際象棋的）象
- polygraph n. 測謊器；復寫器；多種波動描記器
- cognac n. 法國白蘭地 n. (Cognac)人名；(法)科尼亞克
- embryologist n. 胚胎學家
- Deauville n. 多維爾（地名, 法國北部海濱城市, 或汽車品牌名）
- parti n. <法>合適的婚姻對象，（結婚的）理想配偶
